@article{damorim-tse-2008,
 author = {d'Amorim, Marcelo and Lauterburg, Steven and Marinov, Darko},
 title = {Delta Execution for Efficient State-Space Exploration of Object-Oriented Programs},
 journal = {IEEE Transactions on Software Engineering},
 volume = {34},
 number = {5},
 year = {2008},
 issn = {0098-5589},
 pages = {597--613},
 doi = {http://dx.doi.org/10.1109/TSE.2008.37},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }


@inproceedings{schuler-zeller-fse-2009,
 author = {Schuler, David and Zeller, Andreas},
 title = {Javalanche: efficient mutation testing for Java},
 booktitle = {ESEC/FSE '09\Comment{: Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium}},
 year = {2009},
 isbn = {978-1-60558-001-2},
 pages = {297--298},
 location = {Amsterdam, The Netherlands},
 doi = {http://doi.acm.org/10.1145/1595696.1595750},
 publisher = {ACM},
 address = {New York, NY, USA},
 }

@inproceedings{schuler-issta-2009,
    title = "Efficient Mutation Testing by Checking Invariant Violations",
    author = "David Schuler and Valentin Dallmeier and Andreas Zeller",
    year = "2009",
    month = "July",
    booktitle= {ISSTA'09}
}

@inproceedings{deMillo-icse2001,
  author    = {Richard A. DeMillo},
  title     = {Test Adequacy and Program Mutation},
  booktitle = {ICSE},
  year      = {1989},
  pages     = {355-356},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
